On modelling burdens and standards of proof in structured argumentation
نویسندگان
چکیده
A formal model is proposed of argumentation with burdens and standards of proof, overcoming shortcomings of earlier work. The model is based on a distinction between default and inverted burdens of proof. This distinction is formalised by adapting the definition of defeat of the ASPIC+ framework for structured argumentation. Since ASPIC+ generates abstract argumentation frameworks, the model is thus given a Dungean semantics. It is shown to adequately capture shifting proof burdens as well as Carneades’ definitions of proof standards.
منابع مشابه
Proof Burdens and Standards
This chapter explains the role of proof burdens and standards in argumentation, illustrates them using legal procedures, and surveys the history of research on computational models of these concepts. It also presents an original computational model which aims to integrate the features of these prior systems. The ‘mainstream’ conception of argumentation in the field of artificial intelligence is...
متن کاملThesis for the degree of Master of Science Relating proof standards and abstract argumentation
The basic idea of argumentation is to construct arguments in favour of and against a certain statement, selecting the acceptable arguments, and in the end determining which statements hold. To explain how arguments defend their position, they can be structured by their used knowledge and rules. Several approaches to structured argumentation have been developed and subsequently related through a...
متن کاملRelating Carneades with abstract argumentation via the ASPIC+ framework for structured argumentation
Carneades is a recently proposed formalism for structured argumentation with varying proof standards, inspired by legal reasoning but more generally applicable. Its distinctive feature is that each statement can be given its own proof standard, which is claimed to allow a more natural account of reasoning under burden of proof than existing formalisms for structured argumentation, in which proo...
متن کاملA Formal Model of Legal Proof Standards and Burdens
This paper presents a formal model that enables us to define five distinct types of burden of proof in legal argumentation. Four standards of proof are shown to play a vital role in defining each type of burden. These standards of proof are defined in a precise way suitable for computing in argumentation studies generally, but are based on a long tradition of their use in law. The paper present...
متن کاملA Logical Analysis of Burdens of Proof
The legal concept of burden of proof is notoriously complex and ambiguous. Various kinds of burdens of proof have been distinguished, such as the burden of persuasion, burden of production and tactical burden of proof, and these notions have been described by different scholars in different ways. They have also been linked in various ways with notions like presumptions, standards of proof, and ...
متن کامل